The purpose of the project is to develop a programming language
whose semantics is based on a minimal, imperative mathematical
machine.