Be more eager in intersect

**Description:**
$subject. 
- At the moment when we do the intersection with `readonly,` we don't simplify the cell-based types enough.
e.g. readonly & map<any|error>
- In the intersection we need to check if one of the type is `readonly` and other one has one level of defineness, we should be able to simplify it.