a bunch more instructions, and support for Object.hashCode

unfortunately the permissions stuff needs strings :-(