Function map_parameters 

fn map_parameters(params: &[(Loc, Option<Parameter>)]) -> Vec<Option<Type>>