let mk_pos a = of_atom(Pos(a))