I'm sorry for asking those questions without exploring possible answers by myself first. I've done that now, and below are my own answers, maybe of use to other Nimble users too. Please let me know if I'm wrong on any of them:
1. The Bernoulli "dbern" is available within nimbleCode, but not outside, eg at the command prompt.
2. One can use (a) dbern and the conjugate dbeta, or *equivalently in theory* (b) dcat and the conjugate ddirch (in two dimensions). The two implementations are different though, because (a) works with one parameter p, whereas (b) works with two correlated parameters p[1:2] satistfying sum(p)=1.
For this reason it is not really possible to use dcat as the likelihood and dbeta as the conjugate prior, since one would have to change a 1D parameter into a 2D one in between.
Implementation (b) proved to be slower, taking roughly 135% of the time of implementation (a).
Cheers!
Luca