Add note to first Abstraction notion of values-functors post draft.