Correct litmus typing bug.

That is, in init, p:r = x does not implies that x has type 'int'
(however x = y => x : int* and y : int still holds).