create doclets for mixed-in symbols (#378)

Also includes a fair amount of cleanup.