Great stuff! I love this kind of mathematical analysis. I assume the 16th "null dichotomy" is need in order to match the power set of the original Jungian dichotomies. I'd love to see a more elegant way of describing it though.
I wouldn't quite go that far. For example, when it comes to kindred, look-alike, semi-duality and mirage relations, we don't classify them by traits but rather by functional equivalence in Model A.