Polymorphic verbs now in the context.

When invoked, their private skolem variables get replaced with unification
variables, and their effect variable is replaced by the ambient signature.