An Ext JS-specific TypeScript compiler