WyC: added support for return type patterns.