fn types_to_parameters( types: Vec<Option<Type>>, intermediate: Option<&IntermediateOutput>, ) -> Vec<DynSolType>