rudimentary support for typed variables