Macroses

Annotation(marks) in order to execute code specific rewriting procedure.
For example for functions marked as "List" the overloaded version should be added to handle containers