binrep-0.8.0: Encode precise binary representations directly in types