Type checking is started.