Representing Constraint Systems with Omega