Changed Unify.lhs to deal correctly with casted types.