Minor fix for explanations for co-datatypes.  Bug fix for explanations in FMF for quantifiers over arrays.