replace Rec with NonRec for helper funcations in rec transformation
adding information for decreasing size
misc functions
termination analysis
fix hints
misc
restore trec
another tmp fix for hints
start adding decreasing annotations
edit collectbinders to fix pos/maybe.hs
update tests
categorizing tests and other edits
add HO function test
deal with HORecFunctions
adding flags for unsorted predicates and termination check
LambdaEval.eval indeed may not terminate
56 failing tests
adding strictness anotations -- 53 failing
reverse termination flag
update README