rename ext_s functions
add link to original kanren