Fix imports
Add a little documentation
Add type information to expressions
Fix Opcodes import
Fix infinite loop in getTail
Basic type resolving & codegen for methods/fields