[spec] Update syntax spec for memory64

[sbc100]

This is just a start. I've made some updates to instructions.rst and types.rst but could use some pointers so uploading now to get feedback.