proton 2017-03-09

so I guess proton and proto-repl play well together?