Use RunType.t instead of CAst.ty
Fix the compilation for certain cases