In the meantime let me get to the topics aside from Irrelevant Speed to hopefully get this finished.
So for beyond-dimensionsal existence I posted
this draft a while back. Aside from the minor question of whether we do 0/1 as type numbers or 1/2, the question remained which acausality we should use. I initially suggested type 4, as that type makes the most sense on paper (just the resistances it gives don't), but Type 1 was suggested and I am ok with that as the least denominator.
For Transduality: If we axe Type 1, we probably should reformulate Type 2 so that Type 1 is technically included. Otherwise, we might end up with a gap in the future.
Honestly, personally, I'm ok with just fusing all types. One could make a separation between transduality via a system that allows contradictions and transduality in a system with many-valued logic, yes. However, I think few fictions are actually very explicit about the nature of logic in that sense. And ultimately one could argue that being in a contradictory state or a state of wholeness could also be seen as a separate other state in a multi-valued logic system.
The effects of the two types wouldn't be all that different anyway, so I think throwing them together is fine.
Lifting Strength: Yeah, Irrelevant can go as soon as we can make a project to remove it from the tier 1s.