added verbatim syntax and an ski combinator example