Right now context translation lives in each backend extension, but there could be a global `DI.translate`. Also, the mess of `include_blablablaified` kwargs to `DIT.test_differentiation` should be replaced.