- Split up DefineUtils into separate files following the HOL convention
  (e.g., fooScript + fooLib)
- sumMonadTheory merged into monadsTheory, which now contains list and
  option monads as well
- List and option monads used to clean up code throughout the project
- Extra unicode symbols/operators in syntaxSugarTheory