term-lisp is a language for term list processing with first-class pattern matching, inspired by Pie, Haskel, Agda et al