fix rec_type_check to support single element in signature.