* typedef std::ptr<Symbol> SymbolPtr
* pass the Evaluator object as reference instead of pointer
* a few trivial fixes

* use the newly integrated stack trace feature.