Remove operational and axiomatic semantics from this branch.