Prune back RFC to remove discussion of input type parameters