jhc component: tc

All issues

	2009-08-28	flattenType called too often in type checker
	2009-03-27	defaulting does not work