Code provided in MEDHA is moved up in InitKB, so MEDHA can import additional Curry modules without changing Medhavi