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

[mdiep]

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.

[robrix]

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