Yeah that may be a good distinction -- I see that C++ auto is often called "type deduction"