feat: Make NotTypeConsIn... into ParseError

[samestep]

Description

Previously TypeDecl's superTypes field, SubTypeDecl's subType and superType fields, and PreludeDecl's type field were Type, but compiler/Domain checked that they were actually TypeConstructor and errored otherwise. This PR puts TypeConstructor into our grammar and gets rid of the NotTypeConsInSubtype and NotTypeConsInPrelude error types.

Checklist

• I have commented my code, particularly in hard-to-understand areas
• My changes generate no new ESLint warnings
• I have reviewed any generated changes to the diagrams/ folder

[codecov]

Codecov Report

Merging #961 (07ba3d1) into main (f714bbe) will increase coverage by 0.07%.
The diff coverage is n/a.

❗ Current head 07ba3d1 differs from pull request most recent head 8b0f74f. Consider uploading reports for the commit 8b0f74f to get more accurate results

@@            Coverage Diff             @@
##             main     #961      +/-   ##
==========================================
+ Coverage   63.03%   63.10%   +0.07%     
==========================================
  Files          62       62              
  Lines        7947     7925      -22     
  Branches     1851     1842       -9     
==========================================
- Hits         5009     5001       -8     
+ Misses       2814     2800      -14     
  Partials      124      124              

Impacted Files	Coverage Δ
packages/core/src/compiler/Domain.ts	86.95% <ø> (+0.72%)	⬆️
packages/core/src/utils/Error.ts	34.72% <ø> (+0.67%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f714bbe...8b0f74f. Read the comment docs.

[cloudflare-pages]

Deploying with    Cloudflare Pages

Latest commit:	8b0f74f
Status:	✅  Deploy successful!
Preview URL:	https://c0f9246b.penrose-panes.pages.dev

View logs