feat(ts/analzer): intersection reduction

[sunrabbit123]

Description:

Resolve IntersectionReduction

BREAKING CHANGE:

if rhs.isAny, check to is never if to is Never and rhs.isAny, fail!

and

LValue is Intersection

1. represent intersection_normalize
2. Fix if property is readonly keyword | keyword, throw readonly error

---

same #380

change the PR target branch because my branch is ruined