Kodkod can now  check conformity with metamodel
But for now ocl is still missing, so as long as the xmi is parsed is should return true
Few things should be checked, EEnums and optimizations in minimal relations are some.
Heritage is now being processed!
Fixed a problem with Heritage.
OCL in metamodel is working

Some details need to be reviewed
fixed possible bug in removing temp vars on OCL
New exception added for typechecking.
IFormulas are now correctly quantified with one.
preliminary work on repair
Merge branch 'master' into kodkod