isOfType now checks type parameters for #156
Prepare extendsType() for union/intersection types, export Bottom
reify comprehensions, avoid undefined arg when using comprehensions
extendsTypes() for union/intersection types