renames Host.<:< to Host.isSubType