Gentle tour of type inference for records