Support for multiple metamodels (shared Alloy sigs)