Removed redundant tostring tests of cons.
SchemeInteger is now also instanced.