Typing variables

declare weakly typed variables