Type verification begun.