Add ClassicalOrderLattice, enable COTs with high constraints