WyC: slowly upgrading type declarations and function/methods to use type patterns.