typecheck → util Relation

File in include/typecheck	Includes file in include/util
BiTypeChecker.h	LexicalContext.h
Types.h	Utilities.h