Here's another example, inspired by [aws's](http://mathoverflow.net/a/244711/49) but not involving any computability.  Let $A$ be a distributive lattice and let $\mathrm{Fam}(A)$ be the free coproduct-completion of $A$, whose objects are families $\{a_i\}_{i\in I}$ of elements of $A$ and whose morphisms $\{a_i\}_{i\in I} \to \{b_j\}_{j\in J}$ are functions $f:I\to J$ such that $a_i \le b_{f(i)}$.

Then $\mathrm{Fam}(A)$ has finite limits (given by limits in $\mathrm{Set}$ and meets in $A$) and pullback-stable finite unions (given by unions in $\mathrm{Set}$ and joins in $A$; distributivity of $A$ is needed to make these pullback-stable).  Its monomorphisms are arbitrary morphisms whose underlying set-function is injective.  But it doesn't have images unless $A$ is a complete lattice; the image of the unique map from any family $\{a_i\}_{i\in I}$ to the terminal object would have to be the one-element family on a join of all the $a_i$.