assign Ids that refer to the same lexically bound vars the same astids
rename type shorthand from 'constr' to 'contraint'
refactor constraints to be equations from types to types