add "trap" computation expression

let! e = trap { f () }

means

let! e =
  try
    f () |> ignore
    failure "..."
  with
    e -> success e

This notation bring us more simplicity.
Merge pull request #20 from pocketberserker/proposal/exn-test

add "trap" computation expression