bimap should be able to throw if a value can't be converted

[Matt Diephouse]

For instance, integer multiplication would require division with no remainder. Given a * b == 12 where a and b are integers, b == 7 shouldn't unify.

[Rob Rix]

Would b == 7 be the bit that fails, or would it be b : Integer? 😁