Added typeCompatibleWith and samePropertyValuesAs examples