Proposed formalization of DL2 and STL in unified language (Work in progress)

[hoheinzollern]

I started formalizing the other interpretations of the language, beware that this is just a sketch and does not compile.