Added TYPE-EXPAND generic function.