I think the first step should be informal strings to add type annotation or/and general description. We could then improve the way package information is displayed on the website.
I don't think that having the package form is really useful. Instead I would imagine having a provide section that list the exported symbols with annotations if they exist.
Now where should that information be? In the package form or directly in the code?