A few more fixes.
* Removing C++ name demangling; this is better done with c++filt.
* Factored the GetElementPointer translation codes.
* Added constant IntToPtr expression translation.
* Renamed the translation functions in the Value class.