fix little bugs
added church-compat for examples
add last scalar implicature example