Modal is a matrioshka language based on pattern-matching to rewrite trees