various bugfixes, added AST typing/type inference and started work on compiling expressions to byte code