A two-sorted logic and the Trinity

For a while this spring I’ve been thinking about ways of avoiding quaternity views of God. The problem is that, first, Father ≠ Son, Son ≠ Spirit and Father ≠ Spirit and, second, we seem to have to choose between the following two options: A. Father = God, Son = God and Spirit = God, or B. Father ≠ God, Son ≠ God and Spirit ≠ God. Add: Father is divine, Son is divine, Spirit is divine, and God is…