Text this: About Opposition and Duality in Paraconsistent Type Theory