add 'size' to Data.Map

Not sure if this is the best way to do it, but I feel like `size` ought to be in this module.