add 'size' to Data.Map