Help for writing programming language semantics
