Lean 4 .olean file (de)compressor.