Legacy Ermine Type Checker and Interpreter in Scala