Hi Jacobo,
this indeed is a bit of a complex situation and question, and with your local loopback scenario you managed to hit the lighter version of complex ;-)
As your example shows, the replicate definition is not rejected (it would between two separate servers - there the data types strictly must match at replicate definition time, and you'd have to go through a few extra hoops to get replication across differing types).
What's not so obvious from your post is that, after starting this replicate, replication of new rows does work - at least in my quick test, using SQL for testing the result.
What I can confirm from my testing is that "cdr check" indeed fails on this type mismatch (and I don't even get to see this table detailing node, rows, extra and so forth).
What I haven't explored yet what difference it makes that the type differences are on (a) primary key column(s). I take it that these serial/serial8 are your tables' PKs?
Lastly, what I'd recommend, quite independently from ER, is BIGSERIAL instead of SERIAL8.
So far for now,
Andreas