Add pattern matching for records

[siddharth-krishna]

This PR follows up on #103 by adding pattern matching for records. E.g.

let f = fun r -> match r with { | {x = x; y = y} -> x + y } in f {x = 3.3; y = 5.1}

It also adds a type error when record literals or patterns use duplicate field names.