cleanup lispify-type-spec