Hmm as I write that I realized the obvious point that unrestricted scriptpubkey types might themselves represent a dos threat: but there's a still a distinction to be made, right, between limits on size (and parsing computation), and limits on "type".