Add denotational semantics module