Finished refactor

The initial program and the specs of the initial sematics envs now live
in the semantics directory.