add utility function yfoldr
treat (: _ value) as a syntax error in parser
small clean up
combine bind and bind-params (too little difference)