Lisp bytecode compiler

Am I missing any special forms?
lambda if setq let quote

I know let isn't really needed because it can be implemented in terms of lambda, but recognizing ((lambda ...) ...) sounds more confusing than just using let.

>>12
Even C is efficient because today's architectures are designed to run C code as fast as possible, and because of pretty damn good compilers.

>>13
One method could be to take a regular lisp interpreter, iterate through all bit sequences, run the bit sequence against all possible inputs to the program, and compare the output to the LISP program running in a slow interpreter.
Halting problem.