change signatures of conjoin and zoojoin
strengthen conceptualization of conjoin and zoojoin
add fold methods