varlet indx
funstate, en varcall en funcall eigen nonterminals