Update unification to apply mgu to lists, too
Made substituteList a function and added test for it.
Merge branch 'list-substitution' of https://github.com/kframework/k into 5_types-updated
fixes for Traian