Fix checkPossible when unifying bound vars

It's not a rigid fail if it's two bound variables that differ.
Fixes #1108