Constructive Type Theory and the Dialogical Approach to Meaning