add option to lispify-names