Coq Modulo Theory - Short Paper