Add a test for failure to unify type parameters
Add a test for errors unifying an integer variable with a float variable
Use the `_` representation for integral variables as well