Refactoring: add a semantics folder for all verifications.
Refactor visitor and add a semantics folder. Prepare for semantic actions. Update to the latest Rust compiler.