have the ability to properly chain inequalities. also can start constructing cone constraints.
trying to infer dimension sizes