Hide overloaded Z3::constant() member functions

It is imperative that constants are created by calling the virtual
function Event::constant(Z3&), cf. commit 273448fd8686447c01120d8c