Add functions that compare singletons for equality (with evidence)
drwxr-xr-x - libraries