TypeChecker doco