use extension dictionary

[hdavid16]

-store constraints in a disjunctions in m.ext -add name to @proposition -remove storing object_dictionary (use annonymous constraints) -close #51