Test output update: Nested CPR signatures
Update CPR output (different pretty printing for product types)
Nested CPR example: Extended Euclidean algorithm