Function Grammer
Infer function type
Add TODO.md