Hacker News Reader

Interesting. Could you propose such an extension by posting a code sample e.g. in scheme?

Sure. These are basically simple contracts. Contracts are implemented in Racket: http://docs.racket-lang.org/reference/contracts.html