WYRL: lots of bug fixes for inference rules.  Perhaps this fixes #274 ... but I doubt it.