is `panelContract.properties(modelFor)` meant to provide default getters and setters for the constructor options? if so can we just provide default getters since it isn't clear what affects the setter will have, if it has any affect, and if it has no affect then the getter would be returning incorrect information.