document union/intersection explosions
tests for union type constraints
fix inlining code for intersections
allow type subs within libraries to be parameterized
tests for intersections