Generalize the equivalence class logic to handle certain types of casts

[xudong963]

That's unfortunate, it may be possible to generalize the equivalence class logic to handle certain types of casts (particularly invertible ones). It would probably be somewhat complex to implement though.

Originally posted by @suremarc in #61 (comment)