Fixed sets being converted to lists during variable checking.
Added varRels demo.