Any, All, Eq, Ord

• Add any, all, and find helpers built on fold_left
• Add eq and elem functions when inner type is a member of EQ
• Add min and max functions when inner type can be ordered