type checking afgewerkt