Updated definitions in 5_typed
Updated definitions in 5_typed
added all tests in 5_types
Merge branch '5_types-updated' of github.com:grosu/k into 5_types-updated
Merge branch 'list-substitution' of https://github.com/kframework/k into 5_types-updated
fixes for Traian
Merge branch '5_types-updated' of https://github.com/grosu/k into grosu-5_types-updated
Merge branch 'grosu-5_types-updated' into unified-builtins2