Create Semantics.hs