fixed is-from and renamed it as sub-type-p