Programming Constraint Services. High-Level Programming of Standard and New Constraint Services