Type Alias LcnfDeclInput 

pub type LcnfDeclInput = (Name, Vec<(Name, Expr)>, Expr);

Type alias for the raw kernel input to exprs_to_lcnf: (name, params, body).