Stand in the Truth of Mountain And see the Chaos Under

After A month's Studying and learning and Researching, I finally see through what's the structure behind the lambda D system. That's fantastic! Amazingly, the structure is so simple that I feel lambda D actually only have a little tiny improvement compare to simple typed lambda system. Anyway, Nail it!