Order independent and persistent typed default unification · Study