Variables are typed