Unify syntax for extracting inner values

[nomisRev]

Related to an old ticket which we want to clear up while moving towards 1.0.0

#20

Many nested values have their own identifiers:

Some.t
Left.l
Right.r
...

This issue is to track the creation of extension syntax for all those datatypes that bring a unified access to the inner property through property extension.
Ex taken from slack where @hastebrot proposed:

[raulraja]

Thanks @nomisRev !

[franciscodr]

Thanks @nomisRev!