Relational Type Theory (All Proofs)