Made it so matched leaves can't depend on variables bound inside a pattern tree. This makes a test pass.