Simpler design
Implement fold for PerlType
Rewrite using foldType.
Use foldType