Encoding: Add instances: HashMap, IntMap, Map, Seq, Tree
Bit: Drop fmap usage in choose
Bit: Nicer definition of bool