store map_replicate in rich_listScript.sml

rather than proving it and throwing it away