Substitute a variable for a variable in a type.