properties view: now expects a pretty printer which prints to string instead of to box +
renamed "Constructor" to "Target Constructor" to clarify that this is the same as the "Target"