演算子の定義は、確かに悩むね
出来れば、３項演算子みたいなのも定義できるようにしたいところ

    \ prmlist => expr

みたいな演算子作って

    \ x y => x + y

みたいなラムダ式作りたい