Updated some slides about type and expressions