Update ModuleProposal.md