updated lessons 1 to 3 in tutorial/5_types; the rest need the unification.k fixed
added tests for the lessons which work in 5_types
Merge pull request #608 from grosu/5_types

partially updated tutorial/5_types