Added tactics for substitutions. These work on the modular funcs.