global lists are no longer restricted to having instances of a single type.
new syntax `with static:` can now be used at the global level to mark a list as restricted to instances of one type.