Added test properties for LetterBag.hs