A Type Scheme Interpreter