Added generics_substitutions to exprscope.
Implemented replace_generics.