Add enum example in documentation and a test for 'case class cannot extend enum'#5014