Add a test for failure to unify type parameters
Use the `_` representation for integral variables as well