remove slide about type inference
code generation hello world
binary operators