Modal homotopy type theory : the prospect of a new logic for philosophy