typecheck verändert