[imaginenore]

Javascript doesn't have operator overloading, but it doesn't stop you from doing

    "foo".replace('oo', 'ood') + " tasty"

I don't see why PHP can't treat strings specially as well.