added examples of record syntax including quickchecks, copied from http://mmhelloworld.github.io/blog/2014/03/15/frege-record-accessors-and-mutators/