add HMAC, concrete, abstract, bytes/bits, and instantiation sections; add parameter code in new file. paper is a little less than 6 pages long (aiming for 10)