Fix schreyer.lib: documentation & exports & cleanup & testing