2632
2633 - better iflet :satisfies
2634
2635 - further progress on inline

But I'm basically reinventing eval. Can we just reuse?