1. How do you determine whether a symbol names a...
1.1 setf-expander
1.2 special variable
1.3 method-combination
1.4 type definition
1.5 symbol-macro

2. How do you retrieve the representative object for a...
2.1 type definition (type expander)
2.2 setf-expander (expander function)
2.3 condition (condition class)
2.4 structure (structure class)
2.5 method-combination (method combinator object/function)

3. How do you retrieve the lambda-list for a...
3.1 function
3.2 type definition

4. How do I retrieve the source location for a...
4.1 class
4.2 compiler-macro
4.3 condition
4.4 constant
4.5 function
4.6 generic-function
4.7 macro
4.8 method
4.9 method-combination
4.10 package
4.11 structure
4.12 symbol-macro
4.13 type definition
4.14 special variable

5. What is the format of such a source location?

6. Does the implementation have other kinds of implementation specific definitions that should be included?
   This means basically anything that can be reached from the global environment and is named by some kind of designator like a symbol.