Implement proto_view.

Code compiles, but canonization is still lacking.