WyIL: added some documentation for the WyilFile class.
WyIL: continuing to improve the documentation for WyilFile.