WyC: better support for rational lval
WyC: begun centralising the flow type checker.