Add framework for recursive type checking.