making uses.ML standalone
printing of substs