Integrate Refinery #63
Description
Use Refinery to generate and crosslink instances.
Must: ensure the model is consistent and unambiguous (single concrete model possible)
- Rule for new instances
- Rule for binding assignment
- Rule for subsetting and redefinition
- Error rule for constraints
Future work:
- Cross-library transformation rules