Fix base_include: Toplevel-->Coqloop, Constrintern.intern_constr without evd