Factored out substitution for TypeChecking
Merge branch 'asp' of github.com:hanm/clang into asp