Item Transaction

Started working on ACL2 code that completes an operation with items (aka
an 'item transaction'). Currently, I can read an item file into a
structure and back, I'll work more on this later. Currently, this code
is stored in main. If we need to, I'll move it to a different file
later.