anchor.diff:  
   [source, ebnf]
   ----
  -	term :: type
  +    term :: type
   ----
   
   ==== 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
  +=== Syntax
   
   [source, ebnf]
   ----
  
positive.code: === Overview
  For the purposes of this CIP, a type system is a system of classifying expressions according to what kinds of values they may evaluate to during the execution of a Cypher query. It does *not *include a specification of a type inferencing and checking algorithm for Cypher queries.
  
  Cypher today has a rich type system that unifies Java implementation types into a coherent type hierarchy and an accompanying type checker that supports rich types with type parameters and union types. So far it has not been possible to explicitly specify the type of an expression in a query.
  
  This CIP proposes to introduce syntax for type literals and for type annotations.
  
  == 3. Proposal
  
  === Types and Type Literal Syntax
  
  
negative.code: :toc-placement: macro
  :source-highlighter: codemirror
  
  *Author:* Stefan Plantikow <stefan.plantikow@neotechnology.com>
  *Author:* Nigel Small <nigel.small@neotechnology.com>
  
  [abstract]
  .Abstract
  