Concerning type annotations on local variables of a function: 1) Would they be stored anywhere? If so, where? 2) Would they be evaluated once, or every time the function is called? 3) If they're evaluated once, when and in what scope? -- Greg