Minor changes: typos, c++11 auto, ...
Bug fix: traverse pyramids correctly in C++ DSL.