Removed an obsolete link to the formal syntax definition

This syntax may become obsolete due to the recent optional typing
proposal by Guido van Rossum.