macro_rules! lower_type_kind {
    ($type: ident, $sort: ident, $params: expr) => { ... };
}