typchecking halverwege