explain catch - finally and lambda capture

[Dierk]

see https://stackoverflow.com/questions/32959378/how-to-handle-exceptions-in-frege?noredirect=1&lq=1

also delve into exceptions as sum types in the native declarations