Nice stuff, thanks for sharing that.

I remember from a lot of combinatorial problems (like cutting up space with hyper-planes or calculating VC dimension) that one sees what looks like exponential growth until you have a number of items equal to the effective dimension of the system and then things start to look polynomial.

BTW: I was going through some of your lambda calculus write-ups a while ago. Really great stuff that I very much enjoyed.