open-axiom repository from github
MayPair(T: Domain): Domain == Record(x: T, y: T) w: MyPair Float x y
