Implicit types.
Spacing.
Terms are Printable.