Refactor for a bit more safety
Add hacky AUT multiplicity for denoting automatically computed relations
Merge pull request #14 from AmpersandTarski/add-AUT-property

Add aut property