Small type fixes in Arbitrary module
Re-introduce Gen.freqTuple for convenience
Add tests for Gen.frequency