Improve function literal documentation

Describe about context and parameter type inference.