Update Tangles_update.thy

metaequivalence_right in progress