Add a tex file to record the semantics of the language
Record the types, expressions, and statements of the language