Move all notes to the notes/ folder. The old layout was confusing
small improvement to makefile
change open ball notation. introduce closed ball notation. prove closed balls are closed. define closure points