type documentation bugfix, better type summary extraction