Fixing a few more package cycles and adding JavaDocs and implementation details to more compound typespecifiers.