WyIL: added some more documentation.