Draft Implement generalized auto deduction for variable declarations