allow overloading of names

Allow overloading of name with option {} parameters. Parameters are used
in the navigation, but removed from Usage.