If we leave the syntax alone for the next couple of years, how long before we can get an official library Technical Report out there with types covering XML, hierarchical file systems and HTTP / web-services?