Liten formellt bevisbar DSL genom konstruktion till = > bpf skulle vara coolt.
64