#11 parse in context respect constant types

[Michael Norrish]

Polymorphic constants in context parses get type
variables invented needlessly. If a constant is
present with only one type, then instances of this
constant shouldn't have new type variables guessed for
them if they can be constrained to the types already
present in the goal.