Modifique Topsort.procesa, en el valor ttopt //SOME (TTipo (h,ref NONE))// en vez de //NONE//. Ademas, en Topsort.fijaNONE agregue los casos //TArray// en cada //tabBusca//