UrLib

Fix typo.

Add documentation to most signature files.

Generalize Eq.over and add Subset.set.

Allow many user types instead of having one global one.

Add some warnings to documentation.