Added getSymbolString.
Added mkFreshFuncDecl