Updated design document regarding type declarations.

Also cleaned up the declarations section in general.