Better support enums for tuples

[ihodes]

For each type in the tuple, should be able to specify enum with e.g. [@enum.t1 …]

[ihodes]

Right now, an enum passed to a tuple term would be applied to all the tuples, so they must be all the same type and take the same values if using enums. Not ideal.