tracking: improve doc checker tools

[iuioiua]

The doc checker tool should be able to ensure:

• [ ] Exported constants have examples
• [x] Classes have type argument and parameter checks and examples
• [x] Class methods have type argument and parameter checks and examples
• [x] Class properties have examples
• [x] All lint errors are printed together at the end instead of first failure #4834
• [x] #4823
• [x] All optional interface properties have a @default tag

[iuioiua]

CC @lucacasonato