Type Inference

Data Type Auto

Lambda auto

Loops and auto