edges between matching vars and lambdas