Returns the elements in declaration order.
This is the bridge from Tapik's typed product types to the list-oriented code used by generators and interpreters.