binrep-0.3.1: Encode precise binary representations directly in types