Hashconsing mli + tests (#2)