Seol mar théacs é seo: Intuitionism and the modal logic of vagueness