feat(languages): add supports to smt2, drh, and dreal