WyC: another minor bug fix, this time for parsing map types.