Semantic analyzer for a compiler.