Numerous improvements and additions

- updated numbering
- changed version number to match semester
- added a couple of skeleton proofs
- added code for box around text
- added Skeleton Proof theorem environment
- tweaked some existing problems
- added some prose between problems