Module macros

Macros

• TrivialTypeTraversalImpls 🔒
  Used for types that are Copy and which do not care arena allocated data (i.e., don’t need to be folded).