For the record, there's now a typescript definition at https://github.com/borisyankov/DefinitelyTyped/tree/master/microsoft-ajax
Later... The above link may now be dead, but a definition which appears to be by another author is available through @types/microsoft-ajax.