Fewer conversions between Names and strings

[Julow]

The typed `Dot constructors allow to propagate the typed names further. The Find module is changed to avoid converting names to strings in many cases. This is extracted from Jon's parameterised-paths branch