It would be great to have match command in CLI:

$ phino match --pattern '!a ↦ !e` < foo.phi
t ↦ ξ.k
k ↦ ξ.a.f.k
hello ↦ ξ.bar

The existence of this command will help us in testing and verification of phino.

It's something similar to grep in Unix.