module lang

introduce

  object
  integral	# must be listed before any enumerated class
  bool		# must be listed before any class containing an invariant
  real
  char
  list
  elist
  nlist
  array
  string
  tuples
  functs

end
