Export Dict from TypeUniverse
Export foldArgs
Changed E to EF and added E
Added matchCon/M