Modified hashconsing to use referencing instead of de Bruijn
Added unit tests for hashconsing, still more to test but promising