Text this: Implementation of a polymorphic typechecking system /