WyC: still working through the process of introducing type patterns for type declarations and function/method declarations.  But, it's time for a cup of tea.