Put Instance types in the seen list for subtyping

Since we resolve under Instance types for subtyping we
need to put them in the current-seen list too. Fixes
an infinite loop bug in subtyping.
change eq? to object=? in snip implementation
use object=? instead of eq? to handle contracted objects
better object=? handling