?LHS <== ?RHS* is semidet
Dispatcher, with a special cases for matrices as the RH may depend on the LHS.