Replace SsonEmpty to SexprEmpty and fix typo