Expand description

Optimizer rule for type validation and coercion

Structs