Improve manual entry for binding lexically scoped type variables in pattern signatures