+ Update readme

Add syntax differences between the proposal and the implementation.