Betere versie type checking

de input van een expression werd nog niet nagekeken
nu wel

alleen gebeuren sommige testen precies een aantal keer te veel
moet ik nog is over nadenken