Rewrite lambdas to handle multiple overloads
Refactor lambdas to simplify overload lookups
Remember to rebind auto-applied lambdas
wip