automated variable's type recognition