Un piccolo DSL formalmente dimostrabile per costruzione a => bpf sarebbe interessante.
49