Structs

Simplifier 🔒
Simplifies the type.