Added a "Bag".

Actually it's just a type alias to Map[A, Precise] but
don't tell anyone.