clean up software foundations directory; move undone to todo folder; add current progress to Basics.v (up to minusn function)