add multiple types in binders
add support of binding lambdas
add higher order functions
merge funs as values in
bug fix in generator and turned testing into a loop