It can be nice to have a `public` keyword for storage variables in Act so we can generate getter specs automatically.