Wrap useful global JS functions

[null-a]

Functions such as parseInt are useful in WebPPL but tricky to call. We could shadow these with WebPPL functions that either delegate to the JS function, or generate an error explaining how to call the JS variant.

(See here for more discussion.)