Add summaries for all remaining documented types, + minor related htmlify improvements