It's because corecursion is harder to reason about than recursion, requiring a slightly different set of fundamental tools and vocabulary, which aren't taught,

It's because corecursion is harder to reason about than recursion, requiring a slightly different set of fundamental tools and vocabulary, which aren't taught, because it would have to be on top of the current set.