Add Optional / Nullable Parameter Conversions

Add an Initial implementation of parameter conversions, including
Optional and Nullable types, and type conversions for parameters and
return types.