autoprojector
A self-applicable partial evaluator.