Move current ideas to 'old' folder
Define a new abstract syntax
Add denotational interpreter
Define operational semantics