quilldoc(n) defines singleton

quilldoc(n) now defines a singleton type rather than a type with
instances.