Start laying out generic execution docs w/ impl examples
Docstring tweak
wut
Base-case Executor working & dogfooded
Forgot to add some notes