add test of axiom tuple types