Update comments in Basics
Update scratchpad
Reorganize source tree

MakeT and NoMakeT proofs placed into separate directories
Update README