anchor.diff:   ** Exact numbers without decimals, i.e. -3, 0, 4
    * `FLOAT`
    ** IEEE-754 64-bit floating point numbers
  - * `IDENTITY`
  - ** Identities are considered part of the current type system (since the +++<u>Identity type CIP</u>+++ has been accepted), even though it has not been implemented at the time of writing this CIP
    * `MAP`
    ** Maps to values of any type, i.e. { name: "Svensson" }. Note that keys are identifiers, not strings.
    ** This is also the supertype for `NODE` and `RELATIONSHIP`
  
positive.code:  ** List of alternating nodes and relationships
   * `NUMBER`
   ** Supertype to both `INTEGER` and `FLOAT`
   * `DATETIME`
   ** An instant capturing the date, the time, and the timezone. More information about the various temporal types, see the _CIP20150806 - Date and Time_
   * `LOCALDATETIME`
   ** An instant capturing the date and the time, but not the time zone.
   * `DATE`
  
negative.code: ----
  
  ==== Type Literal Use Outside of Annotations
  
  Type literals could be used in other production rules as well where this is considered more readable by future CIPs (e.g. a type test operator expr IS NUMBER).
  
  === 3.2 Syntax
  