Narrow down the types that are tested for piracy

[jishnub]

Exclude type piracy arising from the types in Infinities.jl that are being intentionally extended here. This leaves the accidental and genuine instances of piracy.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.02%. Comparing base (8dfbaf6) to head (f9ace73).
⚠️ Report is 3 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #229      +/-   ##
==========================================
+ Coverage   89.31%   90.02%   +0.70%     
==========================================
  Files          10       11       +1     
  Lines        1142     1303     +161     
==========================================
+ Hits         1020     1173     +153     
- Misses        122      130       +8     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.