core tetra: add tuple types as primitive