Move the four fields on a Construction that deal with the Properties into
a struct devoted to the Properties.