improve "make clean"
Merge branch 'master' of github.com:UnivalentMathematics/Foundations
add a comment
add path' to Utilities
update Utilities
torsors ...
torsors ...
torsors ...
torsors ...
torsors ...
torsors ...
torsors ...
torsors ...
torsors ...
torsors ...
torsors...
torsors...
clean up

remove package makefiles, .gitignore, and .dir-locals.el
add toplevel .dir-locals.el file
torsors...