fold, unfold, and casts for non-recursive records

only checking for these forms right now, not inserting them when needed