anchor.diff:  
   == References
   
  -* Wikipedia on _type systems_
  +* Wikipedia on https://en.wikipedia.org/wiki/Type_system[Type System]
   * CypherType and symbols package object in the Neo4j implementation
   * SPARQL and SQL standards
   
  
positive.code: [abstract]
  .Abstract
  
  This CIP specifies the Public Type System (PTS) of Cypher and introduces literal syntax for writing down types as well as new syntax for type annotations. The proposed type annotation syntax does not change the Cypher grammar right now but rather is intended as a template to be used by future CIPs. This CIP also informatively discusses future syntax that might use the introduced literal type syntax.
  
  toc::[]
  
  
negative.code: 
  type keywords = material core types
                | container type keywords
                ;
  
  container type keywords = "LIST" | "MAP" ;
  ----
  
  ==== Reserved keywords
  
  Besides all introduced type names, this CIP reserves the keyword `OF` for forming literal container types.
  
  === Semantics
  
  