Added a-pair? fun? revpair revrel build first second...
Added seconds, fullfun? and one-to-one?.
Added rember-f seqL seqR insert-g and others.
Added seqS and subst_r.
Added atom-to-function, value_r.
Added multirember_r multirember-eq? multiremberT.
Added multirember&co.