It looks like you've done a good job with closures, type inference, etc... Would you consider adding even more expressive features like algebraic types or hygi

It looks like you've done a good job with closures, type inference, etc... Would you consider adding even more expressive features like algebraic types or hygienic macros to the language? Also how likely do you think it is that typical PHP will eventually be overtaken by HHVM? I'm hoping it will!