updates to semantics draft