move up
lvars are heap-based for now
add undefined operand emitter
cleanups
catchall exceptions for non-implemented types
add safety gap