Remove TypedFlatCurry format
In order to reduce the number of different output formats, we should drop the specialized TypedFlatCurry format.
In order to reduce the number of different output formats, we should drop the specialized TypedFlatCurry format.