Check type compatibility when unifying membered types