Lobsters: Record type inference for dummies