Module macro

Structs

• MacroWithArgs
  Encodes both the arguments and the macro
• StructWithArgs

Traits

• Expandable
  To be implemented for each element that can be expended based on some patterns (i.e. macros, structs)