Documentation: fix some formatting errors
Documentation::Eval: Improve 'Data Types' chapter
Avoid calling check-function several times
Use PG Types to simpli-/beautify calls
Split load.sh in install.sh and load.sh
install.sh: Abort loading scripts on error
Fix some statements that produced errors
load.sh: Abort on compilation error
README: add installation instructions