Added ArrayNamingPolicy
Added support for PartialFunction global constraints

Also added an 'all intervals problem' Use-Case to illustrate real-world
solver usage.