WyC: Updated version number.  In the final stages of preparing the next release.
WyC: oops.
WyC: simplifying the flow type checker to remove various ambiguities related to direct vs indirect method calls.