Fixing a typo in deftypes documentation
Adding disclaimer about Make-level provisional certification being broken.  Fixes #255