Extensibility mechanisms

Reflexive extension functions now support conversion between: