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

Expressions are floated to top-level bindings with fresh names.
Implements tests for static values when floating expressions.