notes from William Byrd's Minikanren uncourse