Reworked reCase. Passes tests.
Remove unused imports
Remove unused code. Export encodeTypesR.
export ReExpr and encodeTypesR
EncodeCat