Implement tests of the StaticValues extension.
Allow static to accept any closed expression.

Expressions are floated to top-level bindings with fresh names.