Crusted Interpreter: The whole typed affair