WLS: added description of functors in Whiley.