Quotation expanders for enumerating finite types.