WyC: working through support for named types.