How about optional typing, even in some limited form (primitive types, primitive-only structs) with gradually adding more over the time? I think there was some

How about optional typing, even in some limited form (primitive types, primitive-only structs) with gradually adding more over the time? I think there was some proposal already but it's probably dead now because I haven't heard about it for a while.