Type Inference
Data Type Auto
Lambda auto
Loops and auto