cs2120f24

Final stable refactoring for next class on natural numbers

fix hw2 import

Put better annotated versions of prop logic files back in Lectures directory. a reduced form is already in Library/propLogic

FInishing up refactoring.

Cleanup Lecture 2, move propLogic to Library.