Possibly missing information compared to old RST doc

This Issue lists some aspects of the old RST doc that may possibly be missing from this new reference.

This should be considered just as a checklist, as many points may be present but I could not find them because the information is structured differently.

• The section http://tezos.gitlab.io/alpha/michelson.html#semantics-of-smart-contracts-and-transactions
• The section http://tezos.gitlab.io/alpha/michelson.html#language-semantics
• The section http://tezos.gitlab.io/alpha/michelson.html#introduction-to-the-type-system-and-notations
• Types are no more separated in core and domain-specific. Though, it seems useful to have a "Types by category" section similar to the existing "Operations by category"
• The section about operations on big_maps and their possible representations: http://tezos.gitlab.io/alpha/michelson.html#operations-on-big-maps
• Operations available on other types, e.g. on pairs (and right combs): http://tezos.gitlab.io/alpha/michelson.html#operations-on-pairs-and-right-combs Such lists of possible operations for a data type can be quite useful to programmers. Some of these lists are replaced by "Related instructions" in the new reference, but in some cases there is no such field (like in the case of pairs/combs).
• contract-related operations do not include basic operations CREATE_CONTRACT, SET_DELEGATE, BALANCE, ...
• Sapling operations are no more in their own section (http://tezos.gitlab.io/alpha/michelson.html#sapling-operations), but rather within the Cryptographic operations, is this intended?
• Removed instructions (http://tezos.gitlab.io/alpha/michelson.html#removed-instructions) are no longer listed, should they be in Deprecated instructions (now empty)?
  • Concerns CREATE_ACCOUNT, STEPS_TO_QUOTA, and perhaps one form of CREATE_CONTRACT
• The section on Macros (http://tezos.gitlab.io/alpha/michelson.html#macros)
• The section on Concrete syntax (http://tezos.gitlab.io/alpha/michelson.html#concrete-syntax)
• The section on Annotations (http://tezos.gitlab.io/alpha/michelson.html#annotations)
• The section on Entrypoints (http://tezos.gitlab.io/alpha/michelson.html#entrypoints)
• The section on JSON syntax (http://tezos.gitlab.io/alpha/michelson.html#json-syntax)
• The Contract with entrypoints example (http://tezos.gitlab.io/alpha/michelson.html#example-contract-with-entrypoints)
• The Multisig contract example (http://tezos.gitlab.io/alpha/michelson.html#multisig-contract)
• The full grammar (http://tezos.gitlab.io/alpha/michelson.html#full-grammar)
• The section Reference implementation (http://tezos.gitlab.io/alpha/michelson.html#reference-implementation)