Structural_type_system