Add Support for Types

[noahbuscher]

Imperative to add support for rolling up types into the docs.

Take a look at this table for how to format various types as you come across them.

Progress:

• Simple types
• Literals
• Typed classes
• Object signatures
• Function signatures
• Callable-object / function-object signatures
• Tuple
• Union
• Intersect
• Nullable modifier