Records

I was creating code to do record integration when I found a bug in the arg/3 predicate, this fixes that code