Type inference algorithm for biased record concatenation