Generic for typed storage of configuration options and `Get_As_String` with default (#26)

* Procedures to ensure the stored value has the wanted type

* Add Get_As_String variant with default

* Fix null pointer

* Code review

* Leave just the variant with Default with "" as default