Initial commit---inconsitent implementation state. About to do rewrite.
committing prior to invariant implementation.
Leaving C++ in an inconsistent state, starting to add Ada projects