WIP: ineq `<` same as functional forms `Lt` and drop ineq simplification