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.

>>2
Why labels/letrec?  I figured I could just implement it as a macro in terms of setq and let.

Also I forgot to put progn/begin in my list; I actually chose the shorter name do for it, although I'm not sure whether it's a good idea (progn, for instance, has the advantage of allowing prog1 and prog2 to exist by extension, but I'm not sure about how useful that is in practise).