Handle dotty Idents by desugaring them into selects.

Handling Ident's in dotty requires analysing its type,
Instead of exporting a lot of abstractions around types
I'd better go with a single method that hides this.