kframework/k — pull request #690 by traiansf (2014-06-28 21:47:41+00:00)
Title: Fixing an issue discovered in pull request #686

the type inferencer tutorial/1_k/5_types/lesson_9 was applying the MGU substitution to the list of values obtained from the map.
However, that application was not defined for builtin lists, and thus it failed to update the values, resulting in incorrect behavior described by @grosu in #686 .

@grosu please review