It's awesome that the standard is getting revisited.
In my view there are four main problem areas. I think it's most important that the broken or lacking core language features be addressed! Other languages have groups continually going over these things; Common Lisp needs one too.
(1) Missing or broken language features that should be added or fixed
Crummy type-system (at least parameterised types please)!
As Levente also brought up: also access to type inference, etc. This would allow:
Efficient generic functions dispatched to inline expansions at compile time.
Value semantics.
More help for code walkers and transformers (what does a declare form refer to?, etc.)
Limited(?) serialisation of closures.
Ability to locally alias a symbol and package
(2) Brokenness in the current Lisp standard
Different facilities should be separated and put into different packages.
Pathnames are overly complicated and do not handle symlinks well.
Extensible sequences, gray streams, etc.
Hash-tables should be generalised like extensible sequences allow user implementation of other datastructures.
eq, eql, equal, equalp are not enough; nothing should restrict itself to these comparisons.
Generally all functions like +, -, equal etc. should be overridable for user's custom types with the efficient compile-time dispatched generic function mechanism.
This would allow (explicit) laziness!
Possibly kill the many bizarrely named or strangely parameterised and hardly used functions like `get'.
(3) Stuff all implementations provide but is not standard
Unsafe machine pointers
Weak pointers
Details from room
GC
Stack frame inspection
etc.
(4) Libraries that basically already exist but would be useful as part of the standard
cl-ppcre, local-time, osicat, cffi, etc.