[core-feature] Introduce an "inside" operator for patterns

[apoorvsxna]

The .yaml file should allow specifying an "inside" pattern as well (name is yet to be decided).
The match will only be considered successful if the pattern is found to be a child of the "inside" pattern in the AST.

Rough example of how this could work-

<to be added>