spec future support for tuple types in annotations