SymbolicC++: removed using namespace std from headers