Reified: big refactoring + inject most captured values as function params instead of inlining them (unless forced)