Clean-ups

Remove `Property` trait (and associated code), since it is still
unused.