Add specialize to updateTermConstraints which doesn't seem to have effect due to type family hiding types
Add specialize to updateTermConstraints which doesn't seem to have effect due to type family hiding types

lamdu/lamdu-calculus