Added some more syntactic sugar to pass automatic binding arguments to functions. Need some more logic to bind non-trivial range bindings. That is currently we can only bind _1, ..., _N. We should be able to bind _i, ..., _i+k as we are able to generate those bind parameters.