Semantic Representation of Modal Subordination Using Type Theory