Compiler for a high-level, strictly-typed object-oriented language.