partially updated tutorial/5_types

I only made lessons 1, 2, and 3 work, as the other require unification.k which seems to be broken.