Remove (unhelpfull) assume in jjMINPOLY (there exist local objects while setting minpoly)
Merge pull request #298 from jankoboehm/spielwiese

Fix for integer std
Fix for option bug in standard.lib