Added properties as a source of info in Prop.oz.