Update contract to add immutable?
Change unit tests to exercise contracts.
More-reliable test of {1 2 3} syntax error.