wip: be able to request that apply returns a Rep. Very hacky.

- explicit unit(_) is required in the body.
- just mechanically unwraps anything that is path-dependent on DSLprog in the return type.