Semantics (interpreter) of RTL. The file does not compile yet. I am progressively modifying the one for RTLabs.