(library
 (name typechecking)
 (modules static dynamic)
 (libraries common syntax))
