Local Variable Type Inference Introduction