Some paper updates, getting final version ready
Fix shadowing bug with dependent pair bindings