Adds co/contravariant properties appropriately and
updated unit test
Merge branch 'master' of https://github.com/arfbtwn/Utilities

Conflicts:
	tests/little/nj/expressions/predicates/PredicateTest.java