Prettier printing for list types
Properly perform extraChecks