Implement subst on UntypedFeld and use it in the simplifier.