Type checking begun.