
Abstract syntax def for point-free code (BMF)
