===> Cleaning for idris2-0.7.0