Proof Contexts with Late Binding