Thinking about how to upgrade the plugin to work with the latest version of the Whiley compiler.