Generalize d-p to work with any label provided by d-static.

This is the fourth draft. Now BuiltIns are specialized in C.D.P.Closure to the types that use StringLabels only.