WHNF

weak head normal form