formatting and removal of mixfix
formatting
refactoring algorithm

 - detail::upwards_enclosing now for all similar algorithms
 - upwards_enclosing_find/for_each now exist
 - resolve::function_from_function_call now returns by cref