improved toString methods of Types
implemented iterator on StackedMap for debugging purposes
added tests for BottomUpTypeChecker and fixed bugs that were shown
fixed broken identity test
identity test is now stronger
Merge branch 'temp'
fixed loop caused by variables mapped to their own type
added check related to polymorphic types and did a fix to pass the test
added polymorphic types tests that applies identity to itself
temporary changes