Quito 'pushenv' de 'invoke_func_prepare'
Primer paso en la reimplementación de Value/Type
Introducción de los tipos

- Reescritura de Value: una tupla con un puntero a un tipo + un puntero
  opaco a los datos. El tipo se encarga de todas las operaciones con ese puntero.

- Interpreter y Stepper reescritos con la nueva implementación.

Este cambio es la base de poder tener matrices o vectores de vectores y en
general tipos compuestos. También permite añadir métodos a los tipos y añadir
tipos nuevos con facilidad.