Enums: Add adapts for property/method axioms. Assert unique ordinals.
Enums: Add adapts for property/method axioms. Assert unique ordinals.

TanayParikh/foam2,foam-framework/foam2,TanayParikh/foam2,foam-framework/foam2,jacksonic/vjlofvhjfgm,foam-framework/foam2,jacksonic/vjlofvhjfgm,foam-framework/foam2,TanayParikh/foam2,TanayParikh/foam2,jacksonic/vjlofvhjfgm,foam-framework/foam2