I've just published draft #2 of SRFI 145.  It was submitted
by Marc Nieper-Wißkirchen, author of the SRFI.

<http://srfi.schemers.org/srfi-145/>

Here's the diff:

<https://github.com/scheme-requests-for-implementation/srfi-145/pull/1>

Here are Marc's comments on this draft:

  - Renamed assert to assume.
  - Renamed declare to assume-type and changed syntax of
    assume-type slightly.
  - Fixed use of cond-expand.

Regards,

SRFI Editor