Use findCommonRoot to infer the type of an array literal, fix a case where types with different sugar levels where not marked as incompatible
We don't need to test the first element, you silly goose
Merge pull request #610 from shamanas/master

Use findCommonRoot to infer the type of an array literal. Closes the oldest issue standing, #10