A unified theory of locality for movement and binding