bit more on semantics

extend definition of "closes" to make type variables in the term and the
context all be closed by the type valuation.