update type checker