Datatypes: remove mutable defaults from function definitions