More concise symbol_to_string() with no error() side effect
Rewrite file loading functionality so that it is not possible to load unsupported data. Fixes #65