If types are a species of abstract object, then the real/ideal distinction is sufficient to accommod...