Compiler: almost finished semantic analysis