Why not have two binary formats - LispVM and JavaVM. The smart people will use the lispVM and get top performance. The clueless will use JVM and get whatever performance is given to them.