fixed bug on metamodel reloading
updates
feature 3.1
Update README.md
New exception added for typechecking.
IFormulas are now correctly quantified with one.
preliminary work on repair
Merge branch 'master' into kodkod