If we defined ':' as the special "from operator" then the following would be equivalent:foo.bar:baz from!"foo.bar".baz
I agree with almost everything you wrote, but I think it would have to be double ::
foo.bar::bazas otherwise it would be ambiguous with labels, consider the case with a flat hierarchy.
foo:baz