Added essence of ml type inference pdf