jjdeftype(x,t) = 
   deftype(x,t) ;

TYPE
  ab = [a];
  a = nodo : STR
      esq : ab 
      dir : ab;
ENDTYPE

a1 <-  gettype(a);