WyC: put back broken code which allows constant sets to be interpreted as types.