Added proposal.txt to summarize the c16 ISA