Minor cleanup
Implemented lookupGT and lookupGE
Implemented folds
Implemented filter
Implemented valid
Implemented mapMaybe and mapMaybeWithKey
Added documentation to mapMaybe/mapMaybeWithKey
Implemented union and intersection via their specifications.