pub fn head_of(expr: &Expr) -> &Expr
Compute the “head” of an expression after stripping all App layers.