Added labs about type inference.