Uniformize the names of type predicates: rather than having isFloatTy and