More efficient alpha-conversion.