Infer boolean literals from strict equality comparisons of other literal types

Wouldn't it be cool if `1 === 1` was inferred to have type `true` instead of `boolean`? Such a small, silly feature, how can we afford _not_ to have it? /cc @mroch ;)