Protocase Designer Documentation/Extensions