edit collectbinders to fix pos/maybe.hs
update tests
categorizing tests and other edits
add HO function test
deal with HORecFunctions