Introducing dynamic variable type hinting