Un pequeño DSL formalmente demostrable por construcción para => bpf sería genial.
57