Refactor hard constraint generation

[alexcere]

• [x] Create variable representation
• [x] Create connector representation
• [x] Create assert representation
• [x] Create structure to initialize variables in the encoding
• [x] Create structure for representing the stack in the encoding
• [x] Combine the hard constraints in a single class