defined cotree_map, attempted to prove some properties of map.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>