Added hints for coercions, fixed type class hints and some bugs in unification.