define DynSem rules for all constructs in Stratego-Core-Strategies

some details of representation of native terms have to be checked/improved