I would argue that my soul has my ego along with my body, my life, and many other matched things because I'm not a Cartesian dualist, but that still invalidates needing to give it a type. (And yes, "soul" still makes sense without essence dualism since identity doesn't depend on anything quantifiable, yet non-essentialism comes off as a reductio ad absurdum to me. I could show how this works with infinite sets if anyone'd like, basically a logical proof.)