testing properties schema and type implementations