ClosableFunction and ClosableThrowFunction are both function types that
are used for binding a auto-closable resource to a function,
representing a "thing that can only be done while a given resource is
open"

Also, add some tests for Context

This adds a whole bunch of types/functions related to optics. With this
batch, I've mainly gone for the concrete representation types, instead
of var Laarhoven or profunctor representations.

The concrete ones require less infrastructure, though they are not as
easy to compose

There's also a number of misc. things in here