Text this: Generalización de meta-programas con tipado dependiente en Mtac2