Started working on the could_be_record function in the teal_types module.