Update system-proposals.md