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