Use findCommonRoot to infer the type of an array literal, fix a case where types with different sugar levels where not marked as incompatible