Moved the semantics demo to a new repository.