Smaller pattern matching.
1st page: Expressions / clauses / patterns
Better typesetting.