split out ByteBitRelations, get both files to compile, start writing out the various specs (HMAC_spec_list and so on)