Sure! I'll accept Python into the list of languages that have types as first-class constructs! And thanks, the suggestion is much appreciated!