Add dotted names feature.

Another redo of the dotted names feature. This replaces #16