Revisiting variable types