disjoint behaviour improvement

Hack around 3.3.1-3.4.2 dotty bug in match type reduction. dispose now handles situations like dispose[1 | Nothing, 2 | Nothing] correctly. Types like these arise from Tuple.Union which is Fold with Nothing as seed

v1.1.0

CHANGES

• added some utils like producing compile-time informational and warning messages and getting type names
• added disjoint function to test if two types are disjoint and Disjoint proof object

Initial release

Includes example of typelevel ConstantSet