Papers tagged propositions as types