TypeChecker: registerThisType written.