pitches are now more than just strings
Merge branch 'soundTypes' of github.com:peterxu422/PLTCompiler into built-in-functions
made getPitches work for our new Sound stuff