iterate over all baseterms in ConcretizeSyntax