remove redundant constraint
remove redundant constraint

Also remove TODO,
It's not difficult to use HasQVarIds in constraints in two places that get the error,
using (#*#), but it's nicer this way.

lamdu/lamdu-calculus