Finally a solution for list building with correct type parameters.
Emit statements that bind returned semantic components from reductions in premises.
Type projections for MapSelect.
Typing for map and mapextend