While in general I'd be in favor of this, we do have quite a bit of code that relies on null being assignable to reference types. We'd have to rewrite quite a bit of code to comply with strictNullChecks, and deviate heavily from the reference implementation.