Contributions.- A Framework for Point-Free Program Transformation.- Encoding Strategies in the La...