Add constant constraint detection to .nl solvers. Checks if constant constraints are trivially satisfied (and removes them) or infeasible (and reports infeasibility).

Fixes Tests 1c2, 1l, 1m, 5, 16, 16b, 17, and 23

#1