Extract extensions properties for nested ADT values in core and data

[raulraja]

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:

package arrow.syntax.option

inline val <T> Some<T>.value get() = this.t

All these property should live in arrow.syntax.[datatype] for consistency.

[Mishkun]

I can work with that. Should I just go through all Data Types and extract value ext property?

[pakoito]

I believe we don't need the extension, but yes, it'd be nice to have a consistent value name between Either.(Left, Right), Option.Some, Ior.(Left, Right, Both), Try.Sucess and Id. Any others I forgot would be nice too, as long as the value isn't calculated, like in Eval for example.