Add section on Abstractions in the context of programming, to values-functors post draft.