Don't be so pendantic about nested unions and intersections.
check-ns and friends catch all type errors cleanly as "delayed" errors
Fix some typos in internal type annotations
Add current environment to more type error ex-infos.
changelog
Changelog for 0.2.{29,30}