Grammar and syntax analysis finished. Type inference and intermediate code generation started.