Aren't Feynman diagrams already a DSL for a certain sub domain of quantum field theory?