Improved type declarations.

Previously, we just reexported the loglevel types. Now, we augmented those by adding the type signatures of all our additional stuff.