Name

The main types

data Name

Creating Names

Manipulating and deconstructing Names

Predicates on Names

Class NamedThing and overloaded friends

class NamedThing a