fix: more changes for Singular 4 (add schreyer.lib, fix syntax etc)