Pushdown capabilities added, although non-memoizing pushdown is incorrect.
Fixed for non-compiled.
Pushdown without memoization working, but slow due to overpropagation.