id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	testcase
20	Subdivide -de-verbose and -de-info flags	SamB		"Often, I want to see the actual ""names"" of anonymous identifiers but don't care so much about the rest of the stuff enabled by {{{-de-verbose}}}; likewise I might be interested in seeing the information that {{{-de-info}}} attaches to top-level names but not to lambda/pi bound names."	defect	closed	normal		unspecified		invalid