When solving ?u x = rhs x, check for compatible effects.

When solving ?u x = rhs x, check for compatible effects. #67