Fix definitions of flat path operators
Redefine variants as records
Replace 'data' with 'records'
Clean up util.rkt