Conflicting substitutions

Ignore substitutions on already substituted variables
eg 

subst (k[x -> y]) (x -> z) = k[x -> y]