implicitly typed variables