tacit/trains are like being able to extend the language in a way the resembles the core language/primitives. dfns are for steering towards functional/denotative style and tradfns allow more general options/control
https://chat.stackexchange.com/transcript/52405?m=53765317#53765317
https://chat.stackexchange.com/transcript/52405?m=41103037#41103037