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