KCvl interpreter & derivation engine