move alwaysReturnsOrFails() to metamodel
move alwaysAssigns() to metamodel
Add import aliases

Ability to rename the namespace referring to an imported file.