Efficient Mendler-Style Lambda-Encodings in Cedille