Various improvements to livexp + allow external type proposal to provide javadoc-like info to display alongside.