WyC: bug fix for flow typing and rational lvals.