Fixed #11: put back comparisons between types and union types