Added include path to the Eclipse project, so it forces finding the include files via direct paths.
Updated the coding notes.
Cleaned up the CMakeLists.txt file and added detection of compiler options.
Added prefix to pointer types, added term kind, made concrete constructors private to eliminate redundant null checks, cleaned up equality testing, added the apply term.