Support ProperContains/ProperIn for Lists

[cmoesel]

The ProperContains / ProperIn operators are similar to ProperIncludes and ProperIncludedIn. The primary difference is that the former two support relationships between a list and a point, while the latter two support relationships between two lists.

Note that despite their names, these operates are invoked in CQL using the same syntax is ProperIncludes/ProperIncludedIn. E.g.

define ListProperlyContainsPoint: {1, 2, 3, 4, 5} properly includes 3
define PointProperlyInList: 3 properly included in {1, 2, 3, 4, 5}