Changed directory layout for twelf examples
Added example of twelf repetition elimination
Changed proyect layout to make room for macros
Removed a lot of redundance in definitions by using macros