Fixing a typypypypo
Fixing a typypypypypo
Fixing a typo in deftypes documentation
Adding disclaimer about Make-level provisional certification being broken.  Fixes #255
Rewording something that Rager found to be a little difficult to read (even though it was technically correct).
Merge commit '0ae8027bc5f152ff3f7b7b61165c4d22d718a387' into HEAD