Renamed a few more places for consistent naming of at-specific tokens.
Added option to turn off auto insertion of record_mark at beginning of document. I need to be able to turn this off when validating PT