Adding tuple types to language specification