This Maven plugin takes phi-calculus expressions generated by eo-maven-plugin and tries to normalize them.