mostly untested version of symbolo/numbero/absento in cKanren