Static types have several levels. Higher levels implies lower levels. e.g. a node that can be stringified can always be hoisted and skipped for patch.

Simple lexer to check if an expression is a member expression. This is lax and only checks validity at the root level (i.e. does not validate exps inside square brackets), but it's ok since these are only used on template expressions and false positives are invalid expressions in the first place.