Concepto de apilacion de tipos para su validacion en expr