move Collections
import
move Collections to org.kframework.
Java-8-style interfaces for collections
formatting
move to right source folder
checkstyle
cleanup and an extra test
more tests
checkstyle fix
manipulating a KList
some fixes and more examples
fix toString
remove KString
add KString builtin
Merge remote-tracking branch 'origin/feature/KORE-convertors' into feature/generic-collection-interfaces
Merge branch 'feature/KORE-convertors' into feature/generic-collection-interfaces
Merge pull request #1217 from kframework/feature/generic-collection-interfaces

Feature/generic collection interfaces