Analyser: partly checking FunctionTypes
Codegen: generate StructTypes
Builder: print AST after last warnings
TEST: added Codegen tests for StructType
TEST: fixed test framework (parsing for // CHECK lines)