This is a revised, expanded, and hopefully improved version of mp arc 20-100 with the same title. This version is currently under review at Quantum Studies: Mathematical Foundations.