General WIP on semantic analysis and code generation.