Rename whnf to eval

Since we're not really whnf anymore