Fleshing our record types