Use bullets to prettify proofs in MMapWeakList.v