licenses: convert license tags to SPDX

lib: TRY attribute: handle more errors

Widens the set of exceptions TRY ignores to anything that isn't
an interrupt.

lib: Add attribute to ignore errors (VER-1007)

Adds the `TRY` attribute combinator, which applies the provided
inner attribute but ignores any failure by returning the original
theorem.