Fixed application of substitutions to meta-level type functions.