Release 2017-05-30

Lots of new examples in the type checking section! I also fixed some minor typographical bugs in the typing rules (which I sussed out while writing the examples.)