feat(library/tactic): add whnf tactic, closes #270