added deflazy, defmem convenience macros
misc minor improvements
fix contract
use observe in linear regression example
some examples from forestdb (scalar implicature, cf CP4)