Value Kinds and IR Nodes

Verifier-backed value kinds:

• Any
• Number
• Boolean
• Text
• List
• Point2
• Point3
• Sketch
• Path
• Frame
• Compound
• Solid

Core node kinds:

• Literal
• Reference
• Build
• Let
• If
• Call
• Range
• Map
• Apply
• List
• Group

If typecheck fails, compiler is checking these kinds, not backend Python text.