Identity-based local

[j-mie6]

Sometimes, a local combinator just needs to restore an old state, as opposed to adjusting it on entry. This can be captured by reg.local(identity _)(p), but this could be more concisely represented as reg.local(p) -- so long as this does not cause inference problems with the existing local combinator that takes a Parsley[A => A]