Add str.translate()
Guess we need to support the 2-arg form of str.translate() as well