Variable conversionConst

conversion: Conversion = ...

The public export of conversion-related fuqnctions