Fix inlining DC substitution
- Fixes type constructed in DC substitution
- Uses 2-stage approach for DC substitution to fix how multiple substitutions involving the same DC IDs are handled
- Print passes completed in pass manager for easier debugging
Edited by rarbore2