In TypeScript, if a binding element 'children' implicitly has an 'any' type, what does this indicate about the type system's handling of the 'children' property?
- The 'children' property is not type-checked and can hold any type of value.
- The 'children' property is explicitly typed but lacks any specific constraints.
- The 'children' property has a predefined type that must be followed.
- The 'children' property is defined with a specific type, which overrides the implicit 'any' type.