Corrected a bug where the handling of mut/immut tags on types during manifestation was reversed; it must be intersection at lower bounds and union at upper bounds.