WIP: Move back in the direction of SURFACE_TUPLES, but this time, use
the new upstream functionality (accelerate f4ba9eb29bf3) to reify the
full structure of the surface tuples.

This does not yet properly convert (Z :.) types or All/Any.