Some basic libraries for Coq.