more refinements for function/pattern bindings