I liked NIM btw. But shark is not about a faster python, it ofers quite a few advantages: speed, size, hackability, ambiguity and lookahead free grammar, and foremost an insane portability and repertorie of libraries to use. The shark compiler is a few thousand lines but its output can be run as python, javascript, lua, java and native.
Cheers, -Shogun