I would change "XXX: can't do substitution in the multivariate Order symbol yet" -> "Substitution in multivariate Order symbols not implemented yet" or something like that.