javadoc changes: add nest() diagram, make some 0.17-related corrections, fix typos, make formatting consistent & 112-column
javadoc: document more exception throwing