WyC: more bug fixes for parsing function and/or method types.