[wyah]: simplify constraint solver

[kevinbarabash]

• removes the need for equal() to compare types
• splits up unifies() in type specific unify checking functions
• adds two new error classes