Directories renaming + some stuff in VMSemantics.kmt