WLS: working on the description of declarations within a Whiley source file.