sml to cpp: move across the workflow

- move relevant specs across from C++
- create a project in C++ to hold the results of the SML to C++
  transformation