Boilerplate voor typechecker is klaar: nu kunnen testregels zo worden
toegevoegd. Op het moment wordt enkel getest dat platformen niet worden
ge-execute.