update README, type postfix functions in srfi-1, etc
Merge branch 'typed'