Update symbol implementation
Refactor eq? procedure
Refactor null implementation