A SetlX to Python compiler.