I support all of the above ideas. Perhaps, with a slim syntax, the backward compatibility is ensured by new constructs not altering the semantics of existing t

I support all of the above ideas. Perhaps, with a slim syntax, the backward compatibility is ensured by new constructs not altering the semantics of existing types. It does however, admit improving the implementation and providing extensions.