Exported type always displayed
Offer record value hole result before hole type
Oops: Structure rules added structure values to any inferred-hole, including stored-apply points. Breaks fibs example.
Field tags have expr as their next hole