work on convertors + generic visiting infrastructure

**please review**, @dwightguth, @osa1, @radumereuta 
Names are coming from `kil.Token` subclasses. Added to attributes in `KILtoInnerKORE.apply(KApp)` to be able to translate back without losing subclass information.