Enabling type constants through the entire translation-execution
pipeline.