Ineq: fix tests that fail due to ineq not simplifying [2/n] (squash)

oops simplify is fine for these matrix norm examples, only vector
norm needs ugly hack