Compile Once, Differentiate Everywhere: A Differentiable Meta-Circular Interpreter

This batch contains five new CS papers. 1) "Compile Once, Differentiate Everywhere": a compiler that translates a self-hosting subset of Scheme into differentiable computation graphs, enabling a differentiable meta-circular interpreter (DMCI) that propagates gradients through an interpreter to continuous constants in programs. Proofs of correctness and experiments (program/parameter co-search, battery degradation, Kalman-filter inverse problems) are included. 2) "Answer Set Programming for Egg Extraction and More": improvements to using Answer Set Programming (ASP) for term extraction from e--