ConstraintTyper seems to work now. Needed to change some APIs.