make Typing_unify_recursive.findFirstVarOrOptionVar tail-recursive