Added support for unbounded vars.
More tests for Unbounded variables rules and fixed bugs found
Yet more tests