As discussed, all usages of the `Placeholder` extractor boil down to `Placeholder(tree, descriptor)`, where descriptor is a value class that knows the cardinality and the flavor (tree, symbol, etc) of the splicee + placeholder combo. This will allow to: 1) better encapsulate the placeholder analysis logic, 2) remove CorrespondsTo altogether, 3) remove the guards from pattern matches.