Function whnf 

pub fn whnf(term: &Node, env: &mut Env) -> Node

Public weak-head normal form API (issue #50, D4). Reduces only the spine of term — leaves binders and arguments untouched.