Proper+ compiler generates C++ code.

An API and translation of beliefs is still missing.
Nothing tested yet.