add map function... which is not efficient... miniKanren so hard