Updates to PROCtor and associated documentation