Database.SQLite: remove obsolete codes
Prelude: cosmetic change
Prelude: initial documentation
Prelude: trivial refactoring: is_integer and is_number are same. shares implementation.