Type-Free Property Theory, Exemplification and Russell's Paradox