WyC: type checking is not working and I don't know why.