Version of point.cpp with all annotations automatically infered.
renaming file
Code conformance modifications.
Adding more descriptive names to prolog identifiers based on the declaration names in the code to help debugging.
Adding a function to create a reverse prolog list from the vector, useful for emiting to RplDomains to Prolog (not used yet).