Remove deprecated *_exprt constructors

These have been marked deprecated for several months.

Author: tautschnig

src/util/byte_operators.h

@@ -25,17 +25,6 @@ Author: Daniel Kroening, [email protected]
 class byte_extract_exprt:public binary_exprt
 {
 public:
-  DEPRECATED("use byte_extract_exprt(id, op, offset, type) instead")
-  explicit byte_extract_exprt(irep_idt _id):binary_exprt(_id)
-  {
-  }
-
-  DEPRECATED("use byte_extract_exprt(id, op, offset, type) instead")
-  explicit byte_extract_exprt(irep_idt _id, const typet &_type):
-    binary_exprt(_id, _type)
-  {
-  }
-
   byte_extract_exprt(
     irep_idt _id,
     const exprt &_op,