#KJ-81 Refactor the existing semantics to be executable as a whole or in two pieces. Implemented. Also adapted the tools to execute the semantics in one of four modes: full-pretty, prep, exec-pretty, split. Integration with Jenkins should also work.