Substructural Type Theory - Zeilberger