Added the constraint type.  Implemented variable elimination.