Create semantics.rkt