Encodes both the arguments and the macro
To be implemented for each element that can be expended based on some patterns (i.e. macros, structs)
