Represents a AST node identical to Expr, but it allows constraining the type of accepted expressions.

See: