Decides that Divine or Love being super against is much more plausible
Only if you can make me understand how.
My point is that your jump in logic doesn't make sense. You say Fairy type is implausible because you can't come up with a reason why it would be super effective against Ice. Which is a reasonable assumption.
However, you then make up 2 possible new types (Divine and Light) which are just as implausible.
we just don't think the same, I still believe in Love!
Magic/Arcane is too close to psychic. Psychic has been used to cover all Pokemon that don't 'read minds' but have that supernatural vibe but don't fit dark. Dark is evil in Japan, so Pokemon that aren't evil but kinda strange fit Psychic which is what magic would be. Does Alakazam become Magic for example? I dunno feels kinda yugioh-ish!