finishing section on pattern matching
finishing section on record syntax