binrep-1.0.0: Encode precise binary representations directly in types