kframework/k — pull request #1162 by cos (2014-11-06 21:45:15+00:00)
Title: Feature/inner kore improvements

**do not review yet**

- changed the underlying representation of KList to a linked list
- made most other KORE classes be treatable as a KList (at least from Scala)
- changed the signature of the Transformers to match Java 8 lambdas
- added many tests