Module Type

module Type: sig .. end
Type of S-expressions

type t = 
| Atom of string
| List of t list