This commit was manufactured by cvs2svn to create branch 'rich_cons'.

svn path=; revision=10928
Added default constructor for cons<>.

svn path=; revision=10967
Removed old branches.

svn path=; revision=38550