Expose better genericForall and genericExists operations
Unify Encoding and Decoding in Codec