sig
  type structure
  type signature
  type toplevel_phrase
  type core_type
  type expression
  type pattern
  type case
  type type_declaration
  type type_extension
  type extension_constructor
end