Implement monomorphic (32byte long) real points

[agustinmista]

To simplify the implementation of real votes and certs while carrying all the needed information, we need a concrete type to represent RealPoints (a tuple of SlotNo and block header hash) where the header hash is always a 32 byte string (which is the case for all the real cardano blocks).