Function decompose_let 

pub fn decompose_let(e: &Expr) -> Option<(&Expr, &Expr, &Expr)>

Decompose a Let expression into (type, value, body).