Adding cast for Cast_ in Pretty print

  BTW: pp function: horrible programming practice
Merge branch 'RefScript' of github.com:UCSD-PL/language-ecmascript into RefScript