Analyses, optimizations and extensions of constraint handling rules door T. Schrijvers