Nieuwe versie KAREL type size header
Includes worden niet gebruikt.
Vervangen door nieuwere header-only versie.