take into account division and static env for specialization
make primitive implementations accessible from outside the interpreter
now simple constant folding works
make specializer/static? accept arbitrary form of expressions
modify division representation from maps to sets containing static var names
modify interpreter so that it can handle booleans
fix bug about relabeling specialized if-statements
make interpreter terminate even if each basic block isn't ended up with jump commands
add some primitive functions