Fixed bug with checking intersection, changed intersection rules to always return first type and give a warning when types are incomparable