Record type inference for dummies

Gentle tour of type inference for records