HERMIT-based GHC plugin: convert data types to sum-of-products form