nomo and symo now in tapl.utils
iteration in combinatory logic