class SignatureEnc;
class Signature;
class ValuedSignature;
-class ElementSig;
-class SetSig;
-class BooleanSig;
+class AlloyElementSig;
+class AlloySetSig;
+class AlloyBoolSig;
struct IncrementalSolver;
typedef struct IncrementalSolver IncrementalSolver;
struct TableEntry;