fix typos in "Building New Contract Combinators" guide