Quote4

Intuitive, type-safe expression quotations for Lean 4.