- tighten up the grammar for definition, we can make the relation between 
  type and content explicit now