Towards a concept of property evaluation type