nu geen error bij typechecking

worm wordt gewoon getermineerd wat wel een totale manier lijkt