binrep-0.7.0: Encode precise binary representations directly in types