Boxes are Identifiable.

It remains to be seen whether this is a good idea.
Simplify some box definitions.
HashablePairs take two types.
Add a wrapping fixpoint so tuples can be used as the parameter type.
Stub in a nullability function.
Flesh out the definition of nullability.
Implement the derivative.
Document the derivative.
Concision.
Null parses use Set.framework’s Set.
Add List.
Bump Set.
Add a LICENSE.
Add an incomplete implementation of parseForest().