WYCS: type patterns are now working.