ast → typecheck Relation

File in includeast	Includes file in includetypecheck
AstBase.h	Types.h
ASTProperties.h	Types.h