fixing bug related to instanceof -- was checking supertyping instead of subtyping. updated InstanceOfRefute test so that it would fail before the bug fix, but passes now