Undecidability of the Lambek Calculus With a Relevant Modality