Added more syntax examples.

Added syntax examples for local type inference and lambdas.