WyC: added support for rational variable declarations.