DEFCORO now supports doc-strings and declarations normally