Add flat LightExpression model with direct FE builder API, fill remaining LE conversion gaps, add LE vs FE creation benchmark, and start deterministic FE/LE property testing#521