Add support for Projection

[celinval]

Projection is currently encoded as String, which doesn't provide any insight for the user and makes Place fairly unusable.

[klinvill]

I'm happy to take a first pass at this. I'll use the current Projection encoding in MIR as the starting point.

@rustbot claim