Fix feature-typed variable domain

[arminzavada]

Feature-typed variables are now implemented by generating a unique enum for each feature.

This is all well and good, however, this prevents assignment between similar variables, where one feature is a subset of another feature.

Solution: number instances, store integers (or arrays of integers). Havoc must respect instance set!