Working on Metamodels in kodkod
small changes
Some work on Instances