fix all current regression tests except unification
iterate over all baseterms in ConcretizeSyntax
Merge pull request #448 from dwightguth/unified-builtins-regression-tests

Unified builtins regression tests