Documentation

Replaces pattern matching on record constructors with uses of
projection functions. Does not remove record constructor patterns
which have sub-patterns containing non-record constructor or
literal patterns.