lambdaVis

Add link preview, meta description, and README

Fix beta reduction: scope bugs, variable capture, and exponential blowup

Fix redex highlight: both application edges blue, argument internals green

Add play/pause with speed controls and animation/rendering improvements

UI improvements: default to arithmetic example, mobile sidebar discoverability, fix Examples toggle