Adding Patch to HLists and Tuples

This adds the much needed utility method patch to tuples and hlists. Not as powerful as say, a Lens that does several fields at once, but fairly general in purpose and application.
Nitpick the general style is to have a space before the brace. Don't know if Miles cares about that (I do !)