Let cell variable participate in type resolution scheme