Add module name to environment
Support deletion of trait delegate
Do away with cfg transform in environment
Resolve template types in type inference pipeline