ensure that the map of codes/relations to aliases is bijective
fix Bijection

addX: when adding x:X -> y:Y to a bijection,
delete y from the internal map of Y->X
Same fix for addY
-show menu to change type of relation when clicking empty composition/union/product
-remove unused member from RelationEditor.S
-factor addRelationTypesToMenu out of RelationPath