Added a section about maps in coq