added boolean operators (not,or,and), higher order functions (fold,all,any) and some utility functions (sum,product,factorial) to the standard library