Deeply recursive structures can cause stack overflows

[thetayloredman]

Deeply recursive types, blocks, and expressions can cause the compiler to stack overflow. We may need to check for depth.