Mechanized type inference for record concatenation

Type inference algorithm for biased record concatenation