Filled out more discussion about feature-specific intermediate representations in IR design.