Updating TODO since (export identifier ...) is now implemented