Add to and revise top type docs