下記の様な項表現は、「5」として表されるべき. 項の解釈処理をユーザーが別途で定義できるようにする ``` successor(successor(successor(successor(successor(ZERO))))) ```