Function solar_ty_to_dyn 

fn solar_ty_to_dyn<'gcx>(gcx: Gcx<'gcx>, ty: Ty<'gcx>) -> Option<DynSolType>

Maps a solar [Ty] to a [DynSolType].