Code cleanup; added tests for natural transformations and halting set
Checkpoint
Added Section 8 (Measurability), expanded intro, periodic check-in
Daily check-in