Add vim swo files to list of files for git to ignore
Refactor Relation constructor to be simpler
Merge branch 'master' into axiom-types-refactor