But even if it is not being used yet - do we know if Facebook uses Typescript (or some extension of it)?