let light_help = " Use light unification (no partial associativity for pair)"