remove old iteration tags
continue haskellization
add foldr and some free metafunctions