wip: KIL to KAST working for a few small examples