Start giving names to theorems
Move around some homework problems, add names to definitions
Merge branch 'lists' into edit-regression