Started work on semantics in Scala