A Type-directed, On-line, Partial Evaluator for a Polymorphic Language