Add pattern matching for records and wildcards
First steps towards type inference and unification