Implementation of Aiken's COOL teaching language in Rust with Hindley-Milner type inference, using oak as parser.