zo werkt de typechecking voor txt terug