Typed maps
Work around for List() and array differences
Rework of reductions for matching of single terms
Stubs for native operations