Flip the order of first two arguments in defrecordp/3