Changing options from set to rel.
Adding option for structural equality.
Incorporated 'onlyEqualityDefault' flag into setup relation.
Turning global state variables into function arguments.
Supporting change for bit partition size.
Adding support for completely static structures + small fixes.