Subcell recursion

Simplify how we do sub-cell recursion. This should be much less error-prone than the current code duplication bonanza.

I've been wanting to clean this up for a while now. Seriously, what was I even thinking when I implemented this?